//]]>
Unhighlight Highlight
Algorithmic Decision Theory by Perny, Patrice. Publication: . XII, 442 p. 96 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Groves, Lindsay. Publication: . XVIII, 466 p. 136 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Frontiers of Combining Systems by Fontaine, Pascal. Publication: . XII, 359 p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Legay, Axel. Publication: . XVII, 426 p. 113 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
OpenMP in the Era of Low Power Devices and Accelerators by Rendell, Alistair P. Publication: . X, 201 p. 80 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Search Based Software Engineering by Ruhe, Günther. Publication: . XVI, 326 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing and Networking by Frey, Davide. Publication: . XX, 466 p. 121 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Runtime Verification by Qadeer, Shaz. Publication: . XII, 322 p. 93 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Methods and Software Engineering by Aoki, Toshiaki. Publication: . XIV, 512 p. 131 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Distributed Computing by Aguilera, Marcos K. Publication: . XVI, 450 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Advances in the Message Passing Interface by Träff, Jesper Larsson. Publication: . XVI, 302 p. 108 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Formal Modeling and Analysis of Timed Systems by Jurdziński, Marcin. Publication: . X, 267 p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Search Based Software Engineering by Fraser, Gordon. Publication: . XVI, 293 p. 80 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Processing and Applied Mathematics by Wyrzykowski, Roman. Publication: . XXVII, 663 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Progress in VLSI Design and Test by Rahaman, Hafizur. Publication: . XXIV, 408 p. 275 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Parallel Processing and Applied Mathematics by Wyrzykowski, Roman. Publication: . XXVII, 765 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
OpenMP in a Heterogeneous World by Chapman, Barbara M. Publication: . XI, 280p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Experimental Algorithms by Klasing, Ralf. Publication: . XIII, 406p. 116 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Grid and Pervasive Computing by Li, Ruixuan. Publication: . XIII, 370p. 117 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Integrated Formal Methods by Derrick, John. Publication: . XII, 360p. 105 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 Next >>
Languages: 
English |
العربية